Von Wright’s truth-logic and around
نویسنده
چکیده
In this paper von Wright’s truth-logic T′′ is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism e2. In connection with this many other issues are discussed: twin truth operators, a truth-logic with endomorphism g (or logic Tr), the lattice of extensions of DM4, modal logic V2, Craig interpolation property, von Wright–Segerberg’s tense logic W, and so on.
منابع مشابه
On Wright’s Inductive Definition of Coherence Truth for Arithmetic
As the first illustration of a potential satisfier for the ‘platitudes for truth’ in the appendix to his engaging recent discussion of the concept of truth (Wright 1999), Crispin Wright has proposed a notion of ‘truth conceived as coherence’ for arithmetic. This paper attempts to clarify certain aspects of Wright’s proposal. Take the standard first-order language of arithmetic L. Let B be some ...
متن کاملVon Wright’s preference logic reconsidered
A logic of preference does not pertain to the formation of preferences, but rather to a pre-established hierarchy of alternatives, ordered by some underlying relation. A wide variety of relations, corresponding to reasons behind the ordering of alternatives, may be seen as preference relations. For example, alternatives may be ordered by the pleasure or utility they bring about, they may be ran...
متن کاملA Simple Modal Encoding of Propositional Finite Many-Valued Logics
We present a method for testing the validity for any finite manyvalued logic by using simple transformations into the validity problem for von Wright’s logic of elsewhere. The method provides a new original viewpoint on finite many-valuedness. Indeed, we present a uniform modal encoding of any finite many-valued logic that views truth-values as nominals. Improvements of the transformations are ...
متن کاملVon Wright's "The Logic of Preference" revisited
Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and we inve...
متن کاملA Logical Typology of Normative Systems
In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative sys...
متن کامل